Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 303 results
Sort by: relevance publication year

Design of a recursive parametric estimation algorithm for nonlinear system described by a Hammerstein mathematical model

PROCEEDINGS ARTICLE published March 2013 in 2013 International Conference on Electrical Engineering and Software Applications

Authors: Salhi Houda | Kamoun Samira

https://doi.org/10.1109/iceesa.2013.6578467 Actions

The bounded model checker LLBMC

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Stephan Falke | Florian Merz | Carsten Sinz

https://doi.org/10.1109/ase.2013.6693138 Actions

Model repair and transformation with Echo

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Nuno Macedo | Tiago Guimaraes | Alcino Cunha

https://doi.org/10.1109/ase.2013.6693135 Actions

Consistency-preserving edit scripts in model versioning

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Timo Kehrer | Udo Kelter | Gabriele Taentzer

https://doi.org/10.1109/ase.2013.6693079 Actions

Reliable face recognition using feature selection and image rejection based on probabilistic face model

PROCEEDINGS ARTICLE published November 2013 in 2013 28th International Conference on Image and Vision Computing New Zealand (IVCNZ 2013)

Authors: Jeongin Seo | Hyeyoung Park

https://doi.org/10.1109/ivcnz.2013.6726988 Actions

Nonlinear estimation using risk sensitive formulation of cubature quadrature Kalman filter

PROCEEDINGS ARTICLE published August 2013 in 2013 IEEE International Conference on Control Applications (CCA)

Authors: Shovan Bhaumik

https://doi.org/10.1109/cca.2013.6662805 Actions

Application of risk-sensitive optimal filtering equations to excitable noise system

PROCEEDINGS ARTICLE published August 2013 in 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)

Authors: Maria Aracelia Alcorta-Garcia | Jose Paz Perez Padron | Alicia Yesenia Lopez Sanchez

https://doi.org/10.1109/mmar.2013.6669882 Actions

Automatic recommendation of API methods from feature requests

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Ferdian Thung | Shaowei Wang | David Lo | Julia Lawall

https://doi.org/10.1109/ase.2013.6693088 Actions

Risk-sensitive interaction control in uncertain manipulation tasks

PROCEEDINGS ARTICLE published May 2013 in 2013 IEEE International Conference on Robotics and Automation

Authors: Jose Ramon Medina | Dominik Sieber | Sandra Hirche

https://doi.org/10.1109/icra.2013.6630621 Actions

Semi-automatic generation of metamodels from model sketches

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Dustin Wuest | Norbert Seyff | Martin Glinz

https://doi.org/10.1109/ase.2013.6693130 Actions

Face alignment using structured random regressors combined with statistical shape model fitting

PROCEEDINGS ARTICLE published November 2013 in 2013 28th International Conference on Image and Vision Computing New Zealand (IVCNZ 2013)

Authors: Xuhui Jia | Xiaolong Zhu | Angran Lin | K. P. Chan

https://doi.org/10.1109/ivcnz.2013.6727052 Actions

Information geometry in mathematical finance: Model risk, worst and almost worst scenarios

PROCEEDINGS ARTICLE published July 2013 in 2013 IEEE International Symposium on Information Theory

Authors: Thomas Breuer | Imre Csiszar

https://doi.org/10.1109/isit.2013.6620257 Actions

A Bi-objective Mathematical Model for Hazmat Vehicle Routing Problem with Path-Based Risk Estimation

PROCEEDINGS ARTICLE published November 2013 in 2013 Sixth International Conference on Business Intelligence and Financial Engineering

Authors: Tengfei Xu | Fengmei Yang | Jian Li | Wenyan Yuan

https://doi.org/10.1109/bife.2013.132 Actions

Recovering model transformation traces using multi-objective optimization

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Hajer Saada | Marianne Huchard | Clementine Nebut | Houari Sahraoui

https://doi.org/10.1109/ase.2013.6693134 Actions

From comparison matrix to Variability Model: The Wikipedia case study

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Nicolas Sannier | Mathieu Acher | Benoit Baudry

https://doi.org/10.1109/ase.2013.6693116 Actions

BLITZ: Compositional bounded model checking for real-world programs

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Chia Yuan Cho | Vijay D'Silva | Dawn Song

https://doi.org/10.1109/ase.2013.6693074 Actions

Tool support for automatic model transformation specification using concrete visualisations

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Iman Avazpour | John Grundy | Lars Grunske

https://doi.org/10.1109/ase.2013.6693141 Actions

Model/code co-refactoring: An MDE approach

PROCEEDINGS ARTICLE published November 2013 in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Authors: Jens von Pilgrim | Bastian Ulke | Andreas Thies | Friedrich Steimann

https://doi.org/10.1109/ase.2013.6693133 Actions

A novel multi-objective fuzzy mathematical model for designing a sustainable supply chain network considering outsourcing risk under uncertainty

PROCEEDINGS ARTICLE published December 2013 in 2013 IEEE International Conference on Industrial Engineering and Engineering Management

Authors: M. Firoozi | A. Siadat | N. Salehi | S.M. Mousavi

https://doi.org/10.1109/ieem.2013.6962380 Actions

Notice of Retraction Research on task allocation model based on the professional growth law

PROCEEDINGS ARTICLE published July 2013 in 2013 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE)

Authors: Bing Chen | Xiao-Dong Zhu | Tao Chen

https://doi.org/10.1109/qr2mse.2013.6625818 Actions
Feedback: support@crossref.org